permutation matrices and their properties